Polishness of some topologies related to word or tree automata

We prove that the B\"uchi topology and the automatic topology are Polish. We also show that this cannot be fully extended to the case of a space of infinite labelled binary trees; in particular the B\"uchi and the Muller topologies are not Polish in this case.Comment: This paper is an extended version of a paper which appeared in the proceedings of the 26th EACSL Annual Conference on Computer Science and Logic, CSL 2017. The main addition with regard to the conference paper consists in the study of the B\"uchi topology and of the Muller topology in the case of a space of trees, which now forms Section

What has NMR taught us about stripes and inhomogeneity?

The purpose of this brief invited paper is to summarize what we have (not) learned from NMR on stripes and inhomogeneity in La{2-x}Sr{x}CuO{4}. We explain that the reality is far more complicated than generally accepted.Comment: Accepted for publication in the Proceedings of the LT-23 Conference (invited

The Design and Development of Interactive Multimedia Conference Proceedings

Many conferences are now providing electronic proceedings. Often, these proceedings are little more than electronic collections of documents put together in a standard software package, such as SuperBook or Acrobat. This means that few of these proceedings incorporate the full range of materials that a conference generates. Furthermore, because these general interfaces are not designed for conference proceedings, they do not provide all the features a conference warrants. The interactive multimedia proceedings for the DAGS\u2792 Institute on Parallel Computation used an interface designed specifically for presenting conference materials and provided both talks (audio, video, and slides) and papers (in hypertext form) along with an extensive set of features for navigating and using the proceedings. This interface provided the basis for further work on the design and creation of electronic proceedings. As we developed the electronic proceedings for DAGS\u2793 and DAGS\u2794 we surveyed users of the prior proceedings and reevaluated this interface. This evaluation suggested many alternatives and extensions to the interface and led us to redesign and reimplement the DAGS interactive proceedings interface. In this paper, we summarize the materials and features that comprise conference proceedings, describe and evaluate the DAGS\u2792 interface and detail the changes and decisions made in developing the new interface used for DAGS\u2793 and DAGS\u2794

From Chirps to Random-FM Excitations in Pulse Compression Ultrasound Systems

Pulse compression is often practiced in ultrasound Non Destructive Testing (NDT) systems using chirps. However, chirps are inadequate for setups where multiple probes need to operate concurrently in Multiple Input Multiple Output (MIMO) arrangements. Conversely, many coded excitation systems designed for MIMO miss some chirp advantages (constant envelope excitation, easiness of bandwidth control, etc.) and may not be easily implemented on hardware originally conceived for chirp excitations. Here, we propose a system based on random-FM excitations, capable of enabling MIMO with minimal changes with respect to a chirp-based setup. Following recent results, we show that random-FM excitations retain many advantages of chirps and provide the ability to frequency-shape the excitations matching the transducers features.Comment: 4 pages, 4 figures. Post-print from conference proceedings. Note that paper in conference proceedings at http://dx.doi.org/10.1109/ULTSYM.2012.0117 has some rendering issue

Scaled tree fractals do not strictly self-assemble

In this paper, we show that any scaled-up version of any discrete self-similar {\it tree} fractal does not strictly self-assemble, at any temperature, in Winfree's abstract Tile Assembly Model.Comment: 13 pages, 3 figures, Appeared in the Proceedings of UCNC-2014, pp 27-39; Unconventional Computation and Natural Computation - 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Springer Lecture Notes in Computer Science ISBN 978-3-319-08122-